backtrack on commitments

Examples

Nothing found